Note! Results found by discarding very hard.